Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
111	LNCSA Tutorial on Satisfiability Modulo Theories Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Mathematics Constraint programming Automated theorem proving Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem DPLL algorithm Symbol Conjunctive normal form
112	Integrating two Simulation Modules with a General Parallelization Framework David Charypar Fabian Märki Kay W. Axhausen Add to Reading List Source URL: www.strc.ch Language: English - Date: 2011-05-06 03:55:57 Digital electronics Electronic design automation Electronic engineering Simulation Scientific modeling Operations research PTV VISSIM Scientific modelling Traffic simulation Logic simulation Agent-based model Computer simulation
113	A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Logic Mathematics Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Simplex algorithm Satisfiability
114	Activity Planning in a Continuous Long-Term Travel Demand Microsimulation Maxim Janzen Kay W. Axhausen Institute for transport planning and systems Add to Reading List Source URL: www.strc.ch Language: English - Date: 2015-05-18 09:01:32 Transport Transportation planning Electronic design automation Operations research Simulation Transportation forecasting Scientific modelling Logic simulation Traffic flow Computer simulation
115	Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , , Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Computational complexity theory Theoretical computer science Theory of computation Logic in computer science Formal methods Boolean algebra Complexity classes Electronic design automation Satisfiability modulo theories True quantified Boolean formula FO NC
116	STRC 2010 Calculation Time Parallel Queue Simulation Thread Add to Reading List Source URL: www.strc.ch Language: English - Date: 2010-08-27 08:05:35 Software Scientific modeling Computing Digital electronics Simulation Electronic design automation Operations research Agent-based model Logic simulation Traffic simulation Simula Thread
117	Simplex with Sum of Infeasibilities for SMT Tim King⇤ ⇤ New Clark Barrett⇤ Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:57 Operations research Logic in computer science Electronic design automation Formal methods NP-complete problems Satisfiability modulo theories Simplex algorithm Linear programming Simplex First-order logic
118	Schematic Design SCHEMATIC DESIGN CONTENTS BOOK 2: MAIN CORRIDOR SCHEMATIC DESIGN Add to Reading List Source URL: waterfrontseattle.org Language: English - Date: 2015-01-07 17:28:02 Electronic design automation Infographics Diagrams Schematic Technical communication Technology
119	Simulation of Railway Networks OpenTrack began a few years ago as a research project at the Swiss Federal Institute of Technology. The aim of the project, Object-Oriented Modeling in Railways, was to develop a user- fri Add to Reading List Source URL: www.opentrack.ch Language: English - Date: 2015-08-07 03:25:23 Engineering Electronic design automation Electromagnetism Electronic engineering Operations research Simulation Simulation software Scientific modelling Topology Logic simulation Train
120	IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOL. 22, NO. 4, APRILDesign Flow for Flip-Flop Grouping in Data-Driven Clock Gating Add to Reading List Source URL: euler.ecs.umass.edu Language: English - Date: 2014-03-31 16:24:12 Digital electronics Electronic engineering Electronic design automation Electrical engineering Clock signal Digital systems Clock gating Energy conservation Gating Clock Flip-flop Power optimization

UPDATE